Instance Verification Kit (IVK)

mutex lock @ [15722+26+/linux-3.19-rc1/drivers/net/ethernet/intel/e1000e/82571.c]
Instance Signature: swflag_mutex

The Matching Pair Graph:

Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
e1000_get_hw_semaphore_82574 [15654+28+/linux-3.19-rc1/drivers/net/ethernet/intel/e1000e/82571.c]
e1000_put_hw_semaphore_82574 [16046+28+/linux-3.19-rc1/drivers/net/ethernet/intel/e1000e/82571.c]
e1000_reset_hw_82571 [25815+20+/linux-3.19-rc1/drivers/net/ethernet/intel/e1000e/82571.c]